Optimal. Leaf size=183 \[ \frac{2 i d^2 e^{i \left (a-\frac{b c}{d}\right )} \left (-\frac{i b (c+d x)}{d}\right )^{2/3} \text{Gamma}\left (\frac{1}{3},-\frac{i b (c+d x)}{d}\right )}{9 b^3 (c+d x)^{2/3}}-\frac{2 i d^2 e^{-i \left (a-\frac{b c}{d}\right )} \left (\frac{i b (c+d x)}{d}\right )^{2/3} \text{Gamma}\left (\frac{1}{3},\frac{i b (c+d x)}{d}\right )}{9 b^3 (c+d x)^{2/3}}+\frac{4 d \sqrt [3]{c+d x} \cos (a+b x)}{3 b^2}+\frac{(c+d x)^{4/3} \sin (a+b x)}{b} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.2404, antiderivative size = 183, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 3, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.188, Rules used = {3296, 3307, 2181} \[ \frac{2 i d^2 e^{i \left (a-\frac{b c}{d}\right )} \left (-\frac{i b (c+d x)}{d}\right )^{2/3} \text{Gamma}\left (\frac{1}{3},-\frac{i b (c+d x)}{d}\right )}{9 b^3 (c+d x)^{2/3}}-\frac{2 i d^2 e^{-i \left (a-\frac{b c}{d}\right )} \left (\frac{i b (c+d x)}{d}\right )^{2/3} \text{Gamma}\left (\frac{1}{3},\frac{i b (c+d x)}{d}\right )}{9 b^3 (c+d x)^{2/3}}+\frac{4 d \sqrt [3]{c+d x} \cos (a+b x)}{3 b^2}+\frac{(c+d x)^{4/3} \sin (a+b x)}{b} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3296
Rule 3307
Rule 2181
Rubi steps
\begin{align*} \int (c+d x)^{4/3} \cos (a+b x) \, dx &=\frac{(c+d x)^{4/3} \sin (a+b x)}{b}-\frac{(4 d) \int \sqrt [3]{c+d x} \sin (a+b x) \, dx}{3 b}\\ &=\frac{4 d \sqrt [3]{c+d x} \cos (a+b x)}{3 b^2}+\frac{(c+d x)^{4/3} \sin (a+b x)}{b}-\frac{\left (4 d^2\right ) \int \frac{\cos (a+b x)}{(c+d x)^{2/3}} \, dx}{9 b^2}\\ &=\frac{4 d \sqrt [3]{c+d x} \cos (a+b x)}{3 b^2}+\frac{(c+d x)^{4/3} \sin (a+b x)}{b}-\frac{\left (2 d^2\right ) \int \frac{e^{-i (a+b x)}}{(c+d x)^{2/3}} \, dx}{9 b^2}-\frac{\left (2 d^2\right ) \int \frac{e^{i (a+b x)}}{(c+d x)^{2/3}} \, dx}{9 b^2}\\ &=\frac{4 d \sqrt [3]{c+d x} \cos (a+b x)}{3 b^2}+\frac{2 i d^2 e^{i \left (a-\frac{b c}{d}\right )} \left (-\frac{i b (c+d x)}{d}\right )^{2/3} \Gamma \left (\frac{1}{3},-\frac{i b (c+d x)}{d}\right )}{9 b^3 (c+d x)^{2/3}}-\frac{2 i d^2 e^{-i \left (a-\frac{b c}{d}\right )} \left (\frac{i b (c+d x)}{d}\right )^{2/3} \Gamma \left (\frac{1}{3},\frac{i b (c+d x)}{d}\right )}{9 b^3 (c+d x)^{2/3}}+\frac{(c+d x)^{4/3} \sin (a+b x)}{b}\\ \end{align*}
Mathematica [A] time = 0.107263, size = 122, normalized size = 0.67 \[ \frac{d \sqrt [3]{c+d x} e^{-\frac{i (a d+b c)}{d}} \left (\frac{e^{2 i a} \text{Gamma}\left (\frac{7}{3},-\frac{i b (c+d x)}{d}\right )}{\sqrt [3]{-\frac{i b (c+d x)}{d}}}+\frac{e^{\frac{2 i b c}{d}} \text{Gamma}\left (\frac{7}{3},\frac{i b (c+d x)}{d}\right )}{\sqrt [3]{\frac{i b (c+d x)}{d}}}\right )}{2 b^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.191, size = 0, normalized size = 0. \begin{align*} \int \left ( dx+c \right ) ^{{\frac{4}{3}}}\cos \left ( bx+a \right ) \, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.5645, size = 770, normalized size = 4.21 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.75519, size = 331, normalized size = 1.81 \begin{align*} \frac{-2 i \, d^{2} \left (\frac{i \, b}{d}\right )^{\frac{2}{3}} e^{\left (\frac{i \, b c - i \, a d}{d}\right )} \Gamma \left (\frac{1}{3}, \frac{i \, b d x + i \, b c}{d}\right ) + 2 i \, d^{2} \left (-\frac{i \, b}{d}\right )^{\frac{2}{3}} e^{\left (\frac{-i \, b c + i \, a d}{d}\right )} \Gamma \left (\frac{1}{3}, \frac{-i \, b d x - i \, b c}{d}\right ) + 3 \,{\left (4 \, b d \cos \left (b x + a\right ) + 3 \,{\left (b^{2} d x + b^{2} c\right )} \sin \left (b x + a\right )\right )}{\left (d x + c\right )}^{\frac{1}{3}}}{9 \, b^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (d x + c\right )}^{\frac{4}{3}} \cos \left (b x + a\right )\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]